Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Daniel Méry »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Daniel Mery < Daniel Méry < Daniel Neuenschwander  Facettes :

List of bibliographic references indexed by Daniel Méry

Number of relevant bibliographic references: 21.
[0-20] [0 - 20][0 - 21][20-20][20-40]
Ident.Authors (with country if any)Title
001674 (2013) Didier Galmiche [France] ; Daniel Méry [France]A Connection-based Characterization of Bi-intuitionistic Validity
001765 (2013) Jean-René Courtault [France] ; Didier Galmiche [France] ; Daniel Méry [France]An Interactive Prover for Bi-intuitionistic Logic
002793 (2011) Didier Galmiche [France] ; Daniel Méry [France]A Connection-Based Characterization of Bi-intuitionistic Validity
003812 (2009) Didier Galmiche [France] ; Daniel Méry [France]Tableaux and Resource Graphs for Separation Logic
005B25 (2005) Didier Galmiche ; Daniel MéryResource Graphs and Countermodels in Resource Logics
005C21 (2005) Didier Galmiche ; Daniel Méry ; David PymThe Semantics of BI and Resource Tableaux
006291 (2005) Didier Galmiche [France] ; Daniel Méry [France]Characterizing Provability in BI ’s Pointer Logic Through Resource Graphs
006685 (2004) Didier Galmiche ; Daniel MéryResource Graphs and Countermodels in Resource Logics
006995 (2004) Didier Galmiche ; Julien Gobillot ; Daniel MéryProofs and countermodels in BI's pointer logic
006F00 (2004) Didier Galmiche [France] ; Daniel Méry [France]Resource Graphs and Countermodels in Resource Logics
006F09 (2004) Didier Galmiche [France] ; Julien Gobillot [France] ; Daniel Méry [France]Proofs and countermodels in BI's pointer logic
008750 (2002) Didier Galmiche [France] ; Daniel Méry [France] ; David Pym [Royaume-Uni]Resource Tableaux
008823 (2002) Didier Galmiche [France] ; Daniel Méry [France]Connection-Based Proof Search in Propositional BI Logic
008965 (2002) Didier Galmiche [France] ; Daniel Méry [France] ; David PymResource Tableaux (extended abstract)
008B61 (2002) Didier Galmiche [France] ; Daniel Méry [France]Connection-based proof search in propositional BI logic
008F30 (2001) Didier Galmiche ; Daniel MéryProof-search and countermodel generation in propositional BI Logic - extended abstract -
009144 (2001) Dominique Larchey-Wendling ; Daniel Méry ; Didier GalmicheSTRIP : Structural Sharing for Efficient Proof-search
009306 (2001) Didier Galmiche [France] ; Daniel Méry [France]Proof-Search and Countermodel Generation in Propositional BI Logic
009599 (2001) Didier Galmiche [France] ; Daniel Méry [France]Proof-search and countermodel generation in propositional BI Logic - extended abstract -
009B62 (2000) Didier Galmiche ; Dominique Larchey-Wendling ; Daniel MérySTRIP : Structural sharing and intuitionistic proof-search
00A147 (2000) Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Daniel Méry [France]STRIP: Structural sharing and intuitionistic proof-search

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Daniel Méry" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Daniel Méry" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Daniel Méry
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022